Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
991	PDF Document Add to Reading List Source URL: deploy-eprints.ecs.soton.ac.uk Language: English - Date: 2009-12-08 16:03:23 Rodin tool B-Method Rodin Entity-relationship model Jean-Raymond Abrial Michael Butler Model checking Scientific modelling BCS-FACS Formal methods Software development Theoretical computer science
992	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
993	PDF Document Add to Reading List Source URL: www.pld.ttu.ee Language: English - Date: 1999-04-05 05:37:43 Model checking Automatic test pattern generation Mathematics Design Binary decision diagram Boolean algebra Diagrams
994	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Language: English Communicating sequential processes Enterprise modelling Behavior Trees Actor model Model checking Process calculus Concurrent computing Process calculi Computing
995	PDF Document Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2005-03-01 18:37:16 Software Model checking KeY Java Pathfinder Symbolic execution Exception handling Test automation Mutation testing Java Software testing Computing Software engineering
996	PDF Document Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:04 Mathematics Metalogic Logic in computer science Electronic design automation NP-complete problems Automated theorem proving Satisfiability Modulo Theories John Rushby Model checking Theoretical computer science Formal methods Logic